Linear time, branching time and partial order in logics and models for concurrency
- Författare
- (School/workshop, Noordwijkerhout, the Netherlands, May 30 - June 3, 1988 J.W. de Bakker, W.-P. de Roever, G. Rozenberg (eds.).)
- Genre
- Konferenspublikation
- Språk
- Engelska
Förlag | År | Ort | Om boken | ISBN |
---|---|---|---|---|
Springer-Vlg | cop. 1989 | Tyskland, Berlin, New York | 713 sidor. ill. |